Formal Specification of a Truck Geo-Location Big-Data Application Journal title: International Journal of Advanced Computer Science & Applications Authors: Ayman Naseem, Nadeem Akhtar, Malik Saad Missen Subject(s):